A Framework for Proving Contract-Equipped Classes
نویسنده
چکیده
MODEL model Prove consistency DEFERRED CLASS
منابع مشابه
Towards Practical Proofs of Class Correctness
1 SCOPE " Trusted Components " are reusable software elements with guaranteed quality properties. Establishing a base of trusted components is among the most promising approaches to improving the general state of software; the potential for widespread reuse justifies the effort necessary to get the components right [11]. The most ambitious guarantee of component properties is a mathematical pro...
متن کاملMaking Specifications Complete Through Models
Good components need precise contracts. In the practice of Design by Contract, applications and libraries typically express, in their postconditions and class invariants, only a subset of the relevant properties. We present: – An approach to making these contract elements complete without extending the assertion language, by relying on “model classes” directly deduced from mathematical concepts...
متن کاملProving the efficiency of pro-2-groups of fixed co-classes
Among the six classes of pro-2-groups of finite and fixed co-classes and trivial Schur Multiplicator which studied by Abdolzadeh and Eick in 2009, there are two classes $$S_5=langle a,bmid [b,a^2]=1, a^2=[b,a]^2, (b^2)^{[b,a]}b^2=1rangle$$ and $$S_6=langle a,t,bmid a^2=b^2,[b,a]^2=1, t^a=t^{-1}[b,a], b^t=abarangle$$that have been conjectured to have deficiency zero presentations. In this paper ...
متن کاملRejecting the arguments of the sanctity of bitcoin mining and proving its legitimacy by Reward Contract (Joaleh)
Bitcoin soon attracted the attention of experts and the general public around the world, including the Islamic community. Due to the novelty of the subject, although little research has been done to examine the legitimacy of bitcoin mining from the perspective of Muslim thinkers, this paper is responsible for examining two reasons in the research of contemporary Sunni thinkers. The two reasons ...
متن کاملA Simple Argumentation Based Contract Enforcement Mechanism
Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentation based framework for agents to both decide whether to enforce a contract, and to undertake contract enforcement actions. The framework centers around the agent reasoning about what arguments to put forth based on a comparison...
متن کامل